#mathematical proof

Claude Mythos reportedly solves OpenAI's landmark Erdős problem with a "cute, simple proof"

Anthropic's Claude Mythos has reportedly solved OpenAI's landmark Erdős unit-distance conjecture with a 'cute, simple proof,' signaling a major advancement in AI-driven mathematical discovery.